منابع مشابه
Locally Nameless Sigma Calculus
We present a Theory of Objects based on the original functional ςcalculus by Abadi and Cardelli [1] but with an additional parameter to methods. We prove confluence of the operational semantics following the outline of Nipkow’s proof of confluence for the λ-calculus reusing his general Commutation.thy [4] a generic diamond lemma reduction. We furthermore formalize a simple type system for our ς...
متن کاملLocally finite basic classical simple Lie superalgebras
In this work, we study direct limits of finite dimensional basic classical simple Lie superalgebras and obtain the conjugacy classes of Cartan subalgebras under the group of automorphisms.
متن کاملLocally finite profinite rings
We investigate the structure of locally finite profinite rings. We classify (Jacobson-) semisimple locally finite profinite rings as products of complete matrix rings of bounded cardinality over finite fields, and we prove that the Jacobson radical of any locally finite profinite ring is nil of finite nilexponent. Our results apply to the context of small compact G-rings, where we also obtain a...
متن کاملLocally finite triangulated categories ✩
A k-linear triangulated category A is called locally finite provided ∑ X∈indA dimk HomA(X,Y ) < ∞ for any indecomposable object Y in A. It has Auslander–Reiten triangles. In this paper, we show that if a (connected) triangulated category has Auslander–Reiten triangles and contains loops, then its Auslander–Reiten quiver is of the form L̂n: · · · · ̂ n n− 1 2 1 By using this, we prove that the Aus...
متن کاملFinite locally-quasiprimitive graphs
A 1nite graph is said to be locally-quasiprimitive relative to a subgroup G of automorphisms if, for all vertices , the stabiliser in G of is quasiprimitive on the set of vertices adjacent to . (A permutation group is said to be quasiprimitive if all of its non-trivial normal subgroups are transitive.) The graph theoretic condition of local quasiprimitivity is strictly weaker than the condition...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Proceedings of the American Mathematical Society
سال: 1977
ISSN: 0002-9939
DOI: 10.1090/s0002-9939-1977-0442878-9